COMMENT ⊗   VALID 00003 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	Contents of notebooks
C00003 00003	1986 Mar 22 - 1986 Aug 14
C00008 ENDMK
C⊗;
Contents of notebooks
1986 Mar 22 - 1986 Aug 14

0 - The seven bad ideas of computing

1 Idea on formalizing knowledge to avoid the paradoxes - punctured by VAL.

3 Can qlisp make synchronization invisible?

5 More of idea on formalizing knowledge

7 re Winograd and Flores

9 remark on contexts

10 expressing Sue Walker Toledo's problem as a linear programming problem

11 grumble about programs as theories

13 notes on "but" as circumscription

17 notes for talk on AI ideas at DARPA

19 dialog with SHRDLU for reply to Winograd

21 Searle

23 improv.ess improving humans

27 notes on Kowalski and Sergot "A logic based calculus of events"

33 proposal for fixing KS86 event calculus

41 my try at event calculus

45 applications of circumscription to formalizing contexts

47 normality logic - apr 16

57 Notes on context

61 give example of belief preference depending on state of mind

62 suggestions for foundation conference

63 ref to paper on verifying prolog progs

65 causality

67 papert talk

69 Batali talk

73 Konolige on default theories and auto-epistemic logic

75 notes for review of Roszak

77 notes form Citizen's Advisory Council on Space - Pournelle

79 privatizing the Global Positioning System GPS

85 notes for DARPA talk

91 Inference SAB May 16
	Everett Lyons replacing Win Royce

95 suggested Lisp problem about probabilities

97 VTSS Ireland

99 Resourceful Earth by Julian Simon and Herman Kahn

101 Tragedy of Fred
	prove it's not doable with a simple abnormality theory
	minimize unknown events

105 try at sonnet

107 two kinds of abnormality

109 notes on baby Timothy

113 minimizing features rather than abnormality

115 databases and causality

119 strong reflection principle

121 june 22 taking certain sentences into account

123 anomalies(I,db)

125 June 27 MAD meeting

127 minimize unsupported abnormalities
	(see Apt, Blair Walker)

129 McDermott's lament

135 what to minimize

139 When the models obtained from making a certain class of substitutions
are all extendable.

141 notes for discussion

143 discussion with VAL about McDermott's lament

147 reservation for two at Timberline Lodge

149 harangued MRG about contexts

151 july 2 Blocks world planning ideas

153 hill climbing in situation calculus

155 pointwise description of birds

157 pointwise description of Fred

159 STRIPS strategy

165 extendability again

167 pedigreed logic

169 endings to Sive (a play we saw at the Abbey Theater)

185 SE2 meeting on Chernobyl
 cherno[e86,jmc]

193 Stallman re ebos

195 formalizaton of prediction of results of events

197 How much can technology do?

199 Generalities about persistence and stopping